MORRISETT, GREG: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the seventh international conference - La Jolla, California, United States (1995.06.26-1995.06.28)] Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95 - Abstract models of memory management

Morrisett, Greg, Felleisen, Matthias, Harper, Robert

Year:

1995

Language:

english

File:

PDF, 1.30 MB

english, 1995

2

[ACM Press the 22nd ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1995.01.23-1995.01.25)] Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 - Compiling polymorphism using intensional type analysis

Harper, Robert, Morrisett, Greg

Year:

1995

Language:

english

File:

PDF, 1.37 MB

english, 1995

3

Attacking Malicious Code: A Report to the Infosec Research Council

McGraw, Gary, Morrisett, Greg

Journal:

Year:

2000

File:

PDF, 1.11 MB

2000

4

TIL

Tarditi, David, Morrisett, Greg, Cheng, Perry, Stone, Chris, Harper, Robert, Lee, Peter

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 1.93 MB

english, 2004

5

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - From system F to typed assembly language

Morrisett, Greg, Walker, David, Crary, Karl, Glew, Neal

Year:

1998

Language:

english

File:

PDF, 1.32 MB

english, 1998

6

[ACM Press the 18th ACM conference - Chicago, Illinois, USA (2011.10.17-2011.10.21)] Proceedings of the 18th ACM conference on Computer and communications security - CCS '11 - Combining control-flow integrity and static analysis for efficient and validated data sandboxing

Zeng, Bin, Tan, Gang, Morrisett, Greg

Year:

2011

Language:

english

File:

PDF, 501 KB

english, 2011

7

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - Type-safe linking and modular assembly language

Glew, Neal, Morrisett, Greg

Year:

1999

Language:

english

File:

PDF, 1.30 MB

english, 1999

8

Stack-based typed assembly language

MORRISETT, GREG, CRARY, KARL, GLEW, NEAL, WALKER, DAVID

Journal:

Journal of Functional Programming

Year:

2003

File:

PDF, 72 KB

2003

9

Trace-based verification of imperative programs with I/O

Gregory Malecha, Greg Morrisett, Ryan Wisnesky

Journal:

Journal of Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 703 KB

english, 2011

10

Typed Closure Conversion for Recursively-Defined Functions: Extended Abstract

Greg Morrisett, Robert Harper

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 535 KB

english, 1998

11

Safe manual memory management in Cyclone

Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 699 KB

english, 2006

12

Region-based memory management in cyclone

Grossman, Dan, Morrisett, Greg, Jim, Trevor, Hicks, Michael, Wang, Yanling, Cheney, James

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 243 KB

english, 2002

13

Nikola

Mainland, Geoffrey, Morrisett, Greg

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 713 KB

english, 2010

14

[IEEE 2013 IEEE International Symposium on Parallel & Distributed Processing (IPDPS) - Cambridge, MA, USA (2013.05.20-2013.05.24)] 2013 IEEE 27th International Symposium on Parallel and Distributed Processing - Massively Parallel Model of Extended Memory Use in Evolutionary Game Dynamics

Randles, Amanda Peters, Rand, David G., Lee, Christopher, Morrisett, Greg, Sircar, Jayanta, Nowak, Martin A., Pfister, Hanspeter

Year:

2013

Language:

english

File:

PDF, 1010 KB

english, 2013

15

[IEEE 2013 IEEE International Conference on Technologies for Homeland Security (HST) - Waltham, MA, USA (2013.11.12-2013.11.14)] 2013 IEEE International Conference on Technologies for Homeland Security (HST) - SAFE: A clean-slate architecture for secure systems

Chiricescu, Silviu, DeHon, Andre, Demange, Delphine, Iyer, Suraj, Kliger, Aleksey, Morrisett, Greg, Pierce, Benjamin C., Reubenstein, Howard, Smith, Jonathan M., Sullivan, Gregory T., Thomas, Arun, To

Year:

2013

Language:

english

File:

PDF, 494 KB

english, 2013

16

[IEEE 2012 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW) - Lyon, France (2012.09.10-2012.09.14)] 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops - Hardware Support for Safety Interlocks and Introspection

Dhawan, Udit, Kwon, Albert, Kadric, Edin, Hritcu, Catalin, Pierce, Benjamin C., Smith, Jonathan M., DeHon, Andre, Malecha, Gregory, Morrisett, Greg, Knight, Thomas F., Sutherland, Andrew, Hawkins, Tom

Year:

2012

Language:

english

File:

PDF, 572 KB

english, 2012

17

[IEEE 2007 6th International Symposium on Information Processing in Sensor Networks - Cambridge, MA, USA (2007.04.25-2007.04.27)] 2007 6th International Symposium on Information Processing in Sensor Networks - The Regiment Macroprogramming System

Newton, Ryan, Morrisett, Greg, Welsh, Matt

Year:

2007

Language:

english

File:

PDF, 5.77 MB

english, 2007

18

Hoare type theory, polymorphism and separation

NANEVSKI, ALEKSANDAR, MORRISETT, GREG, BIRKEDAL, LARS

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 305 KB

english, 2008

19

Technical perspectiveA compiler's story

Morrisett, Greg

Journal:

Communications of the ACM

Year:

2009

Language:

english

File:

PDF, 542 KB

english, 2009

20

[ACM Press the 4th international symposium - Vancouver, BC, Canada (2004.10.24-2004.10.25)] Proceedings of the 4th international symposium on Memory management - ISMM '04 - Experience with safe manual memory-management in cyclone

Hicks, Michael, Morrisett, Greg, Grossman, Dan, Jim, Trevor

Year:

2004

Language:

english

File:

PDF, 664 KB

english, 2004

21

[ACM Press the 5th international conference - Sydney, Australia (2007.11.06-2007.11.09)] Proceedings of the 5th international conference on Embedded networked sensor systems - SenSys '07 - Sensor network programming with Flask

Mainland, Geoffrey, Morrisett, Greg, Welsh, Matt, Newton, Ryan

Year:

2007

Language:

english

File:

PDF, 136 KB

english, 2007

22

[ACM Press the 2004 ACM SIGPLAN symposium - Verona, Italy (2004.08.24-2004.08.25)] Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04 - Invited talk

Morrisett, Greg

Year:

2004

Language:

english

File:

PDF, 19 KB

english, 2004

23

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Ynot

Nanevski, Aleksandar, Morrisett, Greg, Shinnar, Avraham, Govereau, Paul, Birkedal, Lars

Year:

2008

Language:

english

File:

PDF, 302 KB

english, 2008

24

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Toward a verified relational database management system

Malecha, Gregory, Morrisett, Greg, Shinnar, Avraham, Wisnesky, Ryan

Year:

2010

Language:

english

File:

PDF, 470 KB

english, 2010

25

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Evaluating value-graph translation validation for LLVM

Tristan, Jean-Baptiste, Govereau, Paul, Morrisett, Greg

Year:

2011

Language:

english

File:

PDF, 737 KB

english, 2011

26

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Typed closure conversion

Minamide, Yasuhiko, Morrisett, Greg, Harper, Robert

Year:

1996

Language:

english

File:

PDF, 1.39 MB

english, 1996

27

Bringing java's wild native world under control

Sun, Mengtao, Tan, Gang, Siefers, Joseph, Zeng, Bin, Morrisett, Greg

Journal:

ACM Transactions on Information and System Security

Year:

2013

Language:

english

File:

PDF, 475 KB

english, 2013

28

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Effective interactive proofs for higher-order imperative programs

Chlipala, Adam, Malecha, Gregory, Morrisett, Greg, Shinnar, Avraham, Wisnesky, Ryan

Year:

2009

Language:

english

File:

PDF, 373 KB

english, 2009

29

Computability classes for enforcement mechanisms

Hamlen, Kevin W., Morrisett, Greg, Schneider, Fred B.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2006

Language:

english

File:

PDF, 330 KB

english, 2006

30

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Flask

Mainland, Geoffrey, Morrisett, Greg, Welsh, Matt

Year:

2008

Language:

english

File:

PDF, 354 KB

english, 2008

31

[ACM Press the 6th Workshop - Cascais, Portugal (2011.10.23-2011.10.23)] Proceedings of the 6th Workshop on Programming Languages and Operating Systems - PLOS '11 - Preliminary design of the SAFE platform

DeHon, André, Ray, Sumit, Shivers, Olin, Smith, Jonathan M., Sullivan, Gregory, Karel, Ben, Knight, Thomas F., Malecha, Gregory, Montagu, Benoît, Morisset, Robin, Morrisett, Greg, Pierce, Benjamin C.,

Year:

2011

Language:

english

File:

PDF, 721 KB

english, 2011

32

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - RockSalt

Morrisett, Greg, Tan, Gang, Tassarotti, Joseph, Tristan, Jean-Baptiste, Gan, Edward

Year:

2012

Language:

english

File:

PDF, 655 KB

english, 2012

33

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Intensional polymorphism in type-erasure semantics

Crary, Karl, Weirich, Stephanie, Morrisett, Greg

Year:

1998

Language:

english

File:

PDF, 1.21 MB

english, 1998

34

From system F to typed assembly language

Morrisett, Greg, Walker, David, Crary, Karl, Glew, Neal

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 473 KB

english, 1999

35

Typed memory management via static capabilities

Walker, David, Crary, Karl, Morrisett, Greg

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 647 KB

english, 2000

36

Syntactic type abstraction

Grossman, Dan, Morrisett, Greg, Zdancewic, Steve

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 443 KB

english, 2000

37

[ACM Press the 2002 ACM SIGPLAN-SIGSOFT workshop - Charleston, South Carolina, USA (2002.11.18-2002.11.19)] Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '02 - Analysis issues for cyclone

Morrisett, Greg

Year:

2002

Language:

english

File:

PDF, 105 KB

english, 2002

38

[ACM Press the 2006 workshop - Ottawa, Ontario, Canada (2006.06.10-2006.06.10)] Proceedings of the 2006 workshop on Programming languages and analysis for security - PLAS '06 - Certified In-lined Reference Monitoring on .NET

Hamlen, Kevin W., Morrisett, Greg, Schneider, Fred B.

Year:

2006

Language:

english

File:

PDF, 206 KB

english, 2006

39

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - Typed memory management in a calculus of capabilities

Crary, Karl, Walker, David, Morrisett, Greg

Year:

1999

Language:

english

File:

PDF, 1.46 MB

english, 1999

40

[ACM Press the 6th ACM SIGPLAN international conference - Verona, Italy (2004.08.24-2004.08.26)] Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 - Invited talk

Morrisett, Greg

Year:

2004

Language:

english

File:

PDF, 16 KB

english, 2004

41

[ACM Press the 17th ACM conference - Chicago, Illinois, USA (2010.10.04-2010.10.08)] Proceedings of the 17th ACM conference on Computer and communications security - CCS '10 - Robusta

Siefers, Joseph, Tan, Gang, Morrisett, Greg

Year:

2010

Language:

english

File:

PDF, 710 KB

english, 2010

42

[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - A Mechanized Proof of Security for Searchable Symmetric Encryption

Petcher, Adam, Morrisett, Greg

Year:

2015

Language:

english

File:

PDF, 241 KB

english, 2015

43

[ACM Press the ACM SIGPLAN 2002 Conference - Berlin, Germany (2002.06.17-2002.06.19)] Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02 - Region-based memory management in cyclone

Grossman, Dan, Morrisett, Greg, Jim, Trevor, Hicks, Michael, Wang, Yanling, Cheney, James

Year:

2002

Language:

english

File:

PDF, 243 KB

english, 2002

44

[ACM Press the 6th international conference - Cambridge, Massachusetts, USA (2007.04.25-2007.04.27)] Proceedings of the 6th international conference on Information processing in sensor networks - IPSN '07 - The regiment macroprogramming system

Newton, Ryan, Morrisett, Greg, Welsh, Matt

Year:

2007

Language:

english

File:

PDF, 1.29 MB

english, 2007

45

“Language-Based Security”

ABADI, MARTÍN, MORRISETT, GREG, SABELFELD, ANDREI

Journal:

Journal of Functional Programming

Year:

2005

Language:

english

File:

PDF, 33 KB

english, 2005

46

Intensional polymorphism in type-erasure semantics

CRARY, KARL, WEIRICH, STEPHANIE, MORRISETT, GREG

Journal:

Journal of Functional Programming

Year:

2002

Language:

english

File:

PDF, 393 KB

english, 2002

47

Editorial

HUDAK, PAUL, MORRISETT, GREG

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 34 KB

english, 2004

48

Stack-based typed assembly language

MORRISETT, GREG, CRARY, KARL, GLEW, NEAL, WALKER, DAVID

Journal:

Journal of Functional Programming

Year:

2002

Language:

english

File:

PDF, 473 KB

english, 2002

49

Compiling for template-based run-time code generation

SMITH, FREDERICK, GROSSMAN, DAN, MORRISETT, GREG, HORNOF, LUKE, JIM, TREVOR

Journal:

Journal of Functional Programming

Year:

2003

Language:

english

File:

PDF, 307 KB

english, 2003

50

Ilea

Tan, Gang, Morrisett, Greg

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 328 KB

english, 2007